1. Algorithmic learning theory :
پدیدآورنده : Jyrki Kivinen [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms, Congresses,Machine learning, Congresses,Artificial intelligence-- Congresses,Computer algorithms-- Congresses
رده :
QA76
.
9
.
A43
A48
2011
2. Algorithms, languages, automata, and compilers
پدیدآورنده : / Maxim Mozgovoy
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع : Machine theory.,Formal languages.,Algorithms.
رده :
QA
267
.
M69
2010
3. Algorithms, languages, automata, and compilers
پدیدآورنده :
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع : Machine theory.,Formal languages.,Algorithms.
رده :
QA267
.
M69
2010
4. An introduction to the planning domain definition language /
پدیدآورنده : Patrik Haslum, Nir Lipovetzky, Daniele Magazzeni, Christian Muise.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computational complexity.,Artificial intelligence.,Computational complexity.,COMPUTERS / Computer Literacy.,COMPUTERS / Computer Science.,COMPUTERS / Data Processing.,COMPUTERS / Hardware / General.,COMPUTERS / Information Technology.,COMPUTERS / Machine Theory.,COMPUTERS / Reference.
رده :
Q335
.
H37
2019
5. Automata, Languages, and Programming : 30th international colloquim , ICALP 2003, Eindhoven, The Netherlands, June 30th-July 4, 2003 : Proceedings
پدیدآورنده : Jos C.M. Baeten ... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
2719
6. Automata, languages and programming :
پدیدآورنده : J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
7. Automata, languages, and programming :
پدیدآورنده : edited by Jan Paredaens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
8. Automata, languages, and programming :
پدیدآورنده : edited by J.W. de Bakker and J. van Leeuwen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Formal languages -- Congresses.,Machine theory -- Congresses.
9. Communicating process architectures 2009 :
پدیدآورنده : edited by Peter H. Welch [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer architecture, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Transputers, Congresses.,Computer architecture.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,occam (Computer program language),Parallel processing (Electronic computers),Transputers.
رده :
QA76
.
58
.
W58
2009
10. Computer Mathematics
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
11. Computer science -- theory and applications :
پدیدآورنده : René van Bevern, Gregory Kucherov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms, Congresses.,Computer science, Congresses.,Computer algorithms.,Computer science.
رده :
QA75
.
5
12. Fuzzy Logic and Applications
پدیدآورنده : edited by Vito Di Gesú, Francesco Masulli, Alfredo Petrosino.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer vision.,Database management.,Database management.,Information organization.,Information retrieval.,Information storage and retrieva.,Artificial Intelligence (incl. Robotics),Computation by Abstract Devices.,Image Processing and Computer Vision.,Mathematical Logic and Formal Languages.
13. Language and automata theory and applications :
پدیدآورنده : edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
14. Mathematical Foundations of Computer Science 1976 :
پدیدآورنده : edited by Antoni Mazurkiewicz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer Science.,Computers.
رده :
QA267
.
3
E358
1976
15. SOFSEM '95:
پدیدآورنده : edited by Miroslav Bartosek, Jan Staudek, Jirí Wiedermann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Database management.,Software engineering.
16. Theoretical computer science :
پدیدآورنده : edited by Lian Li, Pinyan Lu, Kun He.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer science.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Image processing.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
